TAGs: infinite algebra